Non-Local Compiler Transformations In The Presence Of Dynamic Dispatch